all:
	${MAKE} -C kernel


clean:
	${MAKE} -C kernel clean
	$(shell test -d boot && rm -rf boot)
